maintained-contact pushbutton - German English Dictionary